Merge pull request #539 from antonio-nino-diaz-arm/an/fix-std-compilation
authordanh-arm <[email protected]>
Wed, 9 Mar 2016 08:44:24 +0000 (08:44 +0000)
committerdanh-arm <[email protected]>
Wed, 9 Mar 2016 08:44:24 +0000 (08:44 +0000)
Compile stdlib C files individually


Trivial merge